The systems T N and T M show that necessity can be consistently construed as a predicate of syntactical objects, if the expressive/deductive power of the system is deliberately engineered to reflect the power of the original object language operator. The system T N relies on salient limitations on the expressive power of the language L N through the construction of a quotational hierarchy, while the system T Mrelies on limiting the scope of the modal axioms schemas to the sublanguage (...) L infM +, which corresponds exactly with the restrictive hierarchy of L N. The fact that L infM + is identical to the image of the metalinguistic mapping C + from the normal operator system into L M reveals that iterated operator modality is implicitly hierarchical, and that inconsistency is produced by applying the principles of the modal logic to formulas which have no natural analogues in the operator development. Thus the contradiction discovered by Montague can be diagnosed as the result of instantiating the axiom schemas with modally ungrounded formulas, and thereby adding radically new modal axioms to the predicate system.The predicate treatment of necessity differs significantly from that of the operator in that the cumulative models for the predicate system are strictly first-order. Possible worlds are not used as model-theoretic primitives, but rather alternate models are appealed to in order to specify the extension of N, which is semantically construed as a first-order predicate. In this manner, the intensional aspects of modality are built into the mode of specifying the particular set of objects which the denotation function assigns to N, rather than in the specification of the basic truth conditions for modal formulas. Intensional phenomena are thereby localised to the special requirements for determining the extension of a particular predicate, and this does not constitute a structural modification of the first-order models, but rather limits the relevant class of models to those which possess an appropriate denotation function. (shrink)

De Interpretatione is among Aristotle's most influential and widely read writings; C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system. He shows that De Interpretatione is not a disjointed essay on ill-connected subjects, as traditionally thought, but a highly organized and systematic treatise on logic, argument, and dialectic.

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

We apply the recently elaborated notions of ‘pragmatic truth’ and ‘pragmatic probability’ to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

We apply the recently elaborated notions of 'pragmatic truth' and 'pragmatic probability' to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

Civilizational analysis has not concerned itself too greatly with the historical experiences of the American New World. There are good reasons to correct this position and Shmuel Eisenstadt’s principal work on America’s distinct modernities goes some way to establishing the colonization of the Atlantic world as an opening phase of modernity. Nonetheless, a more far-reaching analysis of the distinctiveness of diverse American societies can be developed that goes beyond the image of a Protestant North America contrasted with southern Latin cultures. (...) This article outlines the basis for a more nuanced approach in three steps: a focus on intercivilizational engagement, examination of civilizational factors neglected by Eisenstadt and reconsideration of the conceptual range of the notion of ‘civilization’ itself. The archetype of two Americas is replaced by a model of four with some consideration given to indigenous civilizations as a fifth America. (shrink)

Scholars of modernity have taken a particular interest in processes of urbanization and—thinking of Simmel, Benjamin, Mumford and Weber—the character of different varieties of city. From a different angle, notions of urban imaginary have gained greater purchase in the field of contemporary urban studies in comparative analysis of varieties of city. This essay begins with notes on both classical accounts of the city in social theory and current concepts of urban imaginaries. The notes revolve around the essay’s main topic: the (...) institution of cities of New World, specifically those of the United States and Canada. Paralleling Castoriadis’ conception of the imaginary institution, the present author argues for a more exact notion of metropolitan imaginaries, differentiated from the broader subject of urban imaginaries. ‘Metropolitan imaginaries’ denotes processes of urbanization at the heart of networks of migration, transport, and flows of capital and culture. As part of larger imaginaries, metropolises generate immigrant cities. The specific kind of creation in question produces creativity also by concentrating intellectual and creative schools of design in architecture and visual culture. In sum, metropolises are not merely part of networks of connection and creation; they produce networks and act as the hubs of interaction and creativity within larger social imaginaries. The essay explores this argument in the contexts of US and Canadian modernity and state formation, with specific foci on New York, Chicago, and Toronto. The conclusion notes two limitations to the case presented here and sketches planned directions for future research. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (...) (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

An improvement on Horwich's so-called "pseudo-proof" of Russell's principle of induction is offered, which, we believe, avoids certain objections to the former. Although strictly independent of our other work in this area, a connection can be made and in the final section we comment on this and certain questions regarding rationality, etc.

Thomas Hobbes was the first great philosopher to write in English. His account of the human condition, first developed in The Elements of Law, which comprises Human Nature and De Corpore Politico, is a direct product of the intellectual and political strife of the seventeenth century. It is also a remarkably penetrating look at human nature, and a permanently relevant analysis of the fears and self-seeking that result in the war of `each against every man'. In The Elements of Law (...) Hobbes memorably sets out both the main lines of his general philosophy, later augmented in De Corpore, and the moral and political philosophy later made famous in Leviathan. Copies of Human Nature and De Corpore Politico, until 1889 printed as separate works, are rare antiques or scarcely less rare scholarly texts; this is the first complete popular edition. It is here supplemented by chapters from De Corpore and Three Lives, two from Hobbes's original Latin. These have never before been published together in English. (shrink)

Johann Arnason’s exploration of the historical constellation of East Asia has helped reproblematize the conceptual framework of modernity and civilization. This article outlines Arnason’s innovations in civilizational analysis and social theory in the field of comparative studies of Japan. It sets out the terms on which a nuanced elaboration of Arnason’s framework could occur. Two areas warrant closer attention: state formation and the institution of capitalism. It is argued that there are signs of what might be termed a ‘tertiary’ phase (...) of state formation, implicit in Arnason’s discussion of advanced modernity. Moreover, this phase brought Japan into close contact with the newly unfolding context of the West’s civilizational imaginary, particularly in its ideological expressions of evolutionism. The article ends on the problematic of capitalism, raising questions about further potential theoretical developments based on Arnason’s conclusions and other inventive studies of Japanese capitalism. (shrink)

In this paper, we outline a theory of the nature of self-directed agents. What is distinctive about self-directed agents is their ability to anticipate interaction processes and to evaluate their performance, and thus their sensitivity to context. They can improve performance relative to goals, and can, in certain instances, construct new goals. We contrast self-directedness with reactive action processes that are not modifiable by the agent, though they may be modified by supra-agent processes such as populational adaptation or external design.Self-directedness (...) lies at the nexus of issues concerning the evolution and nature of intentionality, intelligence, and agency. It provides some insight into the evolution of intelligence because it helps explain how organisms are able to manage variable interaction processes, e.g., a hunting strategy that varies with prey type, ground condition, and hunger level. Simple self-directed organisms like bumblebees manage variability in one or a few dimensions. (shrink)

Proceedings of the papers presented at the Symposium on "Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World" at the 2012 AISB and IACAP Symposium that was held in the Turing year 2012, 2–6 July at the University of Birmingham, UK. Ten papers. - http://www.pt-ai.org/turing-test --- Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents - Michael Zillich: My Robot is Smarter than Your Robot: On the Need for (...) a Total Turing Test for Robots - Adam Linson, Chris Dobbyn and Robin Laney: Interactive Intelligence: Behaviour-based AI, Musical HCI and the Turing Test - Javier Insa, Jose Hernandez-Orallo, Sergio España - David Dowe and M.Victoria Hernandez-Lloreda: The anYnt Project Intelligence Test (Demo) - Jose Hernandez-Orallo, Javier Insa, David Dowe and Bill Hibbard: Turing Machines and Recursive Turing Tests — Francesco Bianchini and Domenica Bruni: What Language for Turing Test in the Age of Qualia? - Paul Schweizer: Could there be a Turing Test for Qualia? - Antonio Chella and Riccardo Manzotti: Jazz and Machine Consciousness: Towards a New Turing Test - William York and Jerry Swan: Taking Turing Seriously (But Not Literally) - Hajo Greif: Laws of Form and the Force of Function: Variations on the Turing Test. (shrink)

This volume contains the selected discourses of four seventeenth-century philosophers, carefully chosen to illustrate the tenets characteristic of the influential movement known as Cambridge Platonism. Fundamental to their beliefs is the statement most clearly voiced by Benjamin Whichcote, their leader by common consent, that the spiritual is not opposed to the rational, nor Grace to nature. Religion is based on reason, even in the presence of 'mystery'. Free will and Grace are not mutually exclusive. The editor's comprehensive introduction delineates the (...) main principles of the Cambridge Platonists, in the light of their heritage. It compares their attitude to contemporary thought, stressing their mistrust both of institutionalised religion and of the rising tide of materialism. The sermons are reprinted from the original texts and fully annotated with comparisons and references to a wide range of works. The editor also includes a useful list for further reading, biographical notes and a comprehensive index. (shrink)

Climate change assessments rely upon scenarios of socioeconomic developments to conceptualize alternative outcomes for global greenhouse gas emissions. These are used in conjunction with climate models to make projections of future climate. Specifically, the estimations of greenhouse gas emissions based on socioeconomic scenarios constrain climate models in their outcomes of temperatures, precipitation, etc. Traditionally, the fundamental logic of the socioeconomic scenarios—that is, the logic that makes them plausible—is developed and prioritized using methods that are very subjective. This introduces a fundamental (...) challenge for climate change assessment: The veracity of projections of future climate currently rests on subjective ground. We elaborate on these subjective aspects of scenarios in climate change research. We then consider an alternative method for developing scenarios, a systems dynamics approach called ‘Cross-Impact Balance’ (CIB) analysis. We discuss notions of ‘objective’ and ‘objectivity’ as criteria for distinguishing appropriate scenario methods for climate change research. We distinguish seven distinct meanings of ‘objective,’ and demonstrate that CIB analysis is more objective than traditional subjective approaches. However, we also consider criticisms concerning which of the seven meanings of ‘objective’ are appropriate for scenario work. Finally, we arrive at conclusions regarding which meanings of ‘objective’ and ‘objectivity’ are relevant for climate change research. Because scientific assessments uncover knowledge relevant to the responses of a real, independently existing climate system, this requires scenario methodologies employed in such studies to also uphold the seven meanings of ‘objective’ and ‘objectivity.’. (shrink)

Our trust in the word of others is often dismissed as unworthy, because the illusory ideal of "autonomous knowledge" has prevailed in the debate about the nature of knowledge. Yet we are profoundly dependent on others for a vast amount of what any of us claim to know. Coady explores the nature of testimony in order to show how it might be justified as a source of knowledge, and uses the insights that he has developed to challenge certain widespread assumptions (...) in the areas of history, law, mathematics, and psychology. (shrink)

R. S. Peters, C. A. Mace; VII—Emotions and the Category of Passivity, Proceedings of the Aristotelian Society, Volume 62, Issue 1, 1 June 1962, Pages 117–142, h.

In this volume C.A. (Chet) Bowers, whose pioneering work on education and environmental and sustainability issues is widely recognized and respected around the world, brings together a carefully curated selection of his seminal work on the ideological, cultural, and linguistic roots of the ecological crisis; misconceptions underlying modern consciousness; the cultural commons; a critique of technology; and educational reforms to address these pressing concerns. In the World Library of Educationalists, international scholars themselves compile career-long collections of what they judge to (...) be their finest pieces - extracts from books, key articles, salient research findings, major theoretical and/practical contributions - so the world can read them in a single manageable volume. Readers will be able to follow the themes and strands of their work and see their contribution to the development of a field, as well as the development of the field itself. Contributors to the series include : Michael Apple, James A. Banks, Joel Spring, William F. Pinar, Stephen J. Ball, Elliot Eisner, Howard Gardner, John Gilbert, Ivor F. Goodson, Peter Jarvis. (shrink)

The ‘beautiful axiom’ to which Dickens refers is a central feature of Thomas Hobbes' thinking but its precise role in his moral philosophy remains unclear. I shall here attempt both to dispel the unclarity and to evaluate the adequacy of the position that emerges. Given the high level of contemporary interest in Hobbes' thought, both within and beyond philosophical circles, this is an enterprise of considerable importance. None the less, my interest is not merely interpretative, since the assessment of Hobbes' (...) attitude to ‘the beautiful axiom’ raises important and difficult questions about what might be termed the preconditions of morality. (shrink)

Peter Geach supports his case that the religion of Thomas Hobbes was both genuine and a version of Socinianism principally by comparing the theological and scriptural sections of Leviathan with the main doctrines of Socinianism and its latter-day developments in Unitarianism and Christadelphianism. He pays particular attention to comparisons with the Racovian Catechism, the theological writings of Joseph Priestley and the Christadelphian document Christendom Astray by Robert Roberts.

Rare earth elements have become increasingly important because of their relative scarcity and worldwide increasing demand, as well as China’s quasi-monopoly of this market. REEs are virtually not substitutable, and they are essential for a variety of high-tech products and modern key technologies. This has raised serious concerns that China will misuse its dominant position to set export quotas in order to maximize its own profits at the expense of other rare earth user industries. In fact, export restrictions on REEs (...) were the catalyst for the U.S. to lodge a formal complaint against China in 2012 at the World Trade Organization. This paper analyzes possible wealth transfer effects by focusing on export quota announcements by China, and the share price reactions of Chinese REE suppliers, the U.S. REE users, and the rest of the world REE refiners. Overall, we find limited support for the view of a wealth transfer in connection with MOFCOM announcements only when disentangling events prior to and post the initiation of the WTO trial, consistent with the trial triggering changes to China’s REE policy and recent announcement to abolish quotas. We do find, however, that extreme REE price movements have a first-order effect on all companies in the REE industry consistent with recent market trends to enable hedging against REE price volatility. (shrink)

Political violence in the form of wars, insurgencies, terrorism and violent rebellion constitutes a major human challenge. C. A. J. Coady brings a philosophical and ethical perspective as he places the problems of war and political violence in the frame of reflective ethics. In this book, Coady re-examines a range of urgent problems pertinent to political violence against the background of a contemporary approach to just war thinking. The problems examined include: the right to make war and conduct war, terrorism, (...) revolution, humanitarianism, mercenary warriors, the ideal of peace and the right way to end war. Coady attempts to vindicate the contemporary relevance of the just war tradition to current problems without applying the tradition in a merely mechanical or uncritical fashion. (shrink)

The Three Papers comprising this series, together with my earlier [34] also published in this journal, constitute an attempt to set out the major issues in the theoretical domain of reduction and to develop a general theory of theory reduction. The fourth paper, [34], though published separately from this trio, is integral to the presentation and should be read in conjunction with these papers. Even so, the presentation is limited in scope – roughly, to intertheoretic reduction among empirical theories – (...) and informal in presentation – not least because a satisfying formal account of theories has yet to be offered. And despite the length, the treatment is still condensed; often corroborating and/or intuitively helpful detail has had to be consigned to footnotes or omitted. I approach the problem from within my own naturalistic realist philosophy of science and formal analysis of abstract hierarchy in theory. The sources for the former are [25], [29], [31], and [32] and those for the latter essentially [27] and [30]. Hierarchical notions played a significant role in the already published [34]. (shrink)

I argue that beliefs about what appears possible are justified in much the same way as beliefs about what appears actual. I do so by chisholming, and then modalizing, the epistemic principle associated with phenomenal conservatism. The principle is tested against a number of examples, and it gives the intuitively correct results. I conclude by considering how it can be used to defend two controversial modal arguments, a Cartesian argument for dualism and an ontological argument for the existence of God.

C. A. J. Coady offers to clear up confusion about what terrorism is. His "tactical definition" focuses on terrorist acts as violent attacks upon non-combatants. He discusses what it means to be a non-combatant, considers various philosophical attempts to defend terrorism, and examines the idea of a connection between religion and terrorism.

In the past thirty years, two fundamental issues have emerged in the philosophy of science. One concerns the appropriate attitude we should take towards scientific theories--whether we should regard them as true or merely empirically adequate, for example. The other concerns the nature of scientific theories and models and how these might best be represented. In this ambitious book, da Costa and French bring these two issues together by arguing that theories and models should be regarded as partially rather than (...) wholly true. They adopt a framework that sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate. The new machinery of "partial structures" that they develop offers a new perspective from which to view the nature of scientific models and their heuristic development. Their conclusions will be of wide interest to philosophers and historians of science. (shrink)